In the modal literature various notions of completeness have been studied for normal modal logics. Four of these are defined here, viz. (plain) completeness, first-order completeness, canonicity and possession of the finite model property — and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability (...) and preservation under ultrafilter extensions are introduced and studied as well. (shrink)

Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.

We give in this paper a sufficient condition, cast in semantic terms, for Hallden-completeness in normal modal logics, a modal logic being said to be Hallden-complete (or Ήallden-reasonable') just in case for any disjunctive formula provable in the logic, where the disjuncts have no propositional variables in common, one or other of those disjuncts is provable in the logic.

Apart from the names of Jan Baudouin de Courtenay (1845-1929), Mikołaj Kruszewski (1851-1887), and, later, Jerzy Kuryłowicz (1895-1978), Polish linguists and Polish linguistics generally have been little known in the West. The first two were mentioned with approval by Saussure in an unpublished paper, and this reference was picked up by Roman Jakobson and others many years later. Kuryłowicz, for his part, made himself well known in the West through his important work as Indo-Europeanist, even Semiticist, and as a general (...) linguist. The present volume is a first attempt to broaden the perspectives on the Polish contribution to linguistics both inside and outside of Poland during the past centuries. Specialists in their respective fields contributed chapters on the origins and development of general linguistics (Z. Wąsik), applied linguistics (F. Grucza), lexicology (T. Piotrowski), dialectology (St. Gogolewski), and onomastics (S. Gala), followed by five chapters presenting the theories of the arguably most remarkable Polish linguistic thinkers, from Baudouin de Courtenay (A. Adamska-Sałaciak), Kruszewski (F. M. Berezin), and Kuryłowicz (W. Smoczyński) to Mikołaj Rudnicki (1881-1978) and Ludwik Zabrocki (1907-1977) (both written by J. Bańczerowski). Detailed individual bibliographies, a full index of names (with life dates of Polish linguists from the Renaissance to the present day), and a thorough index of subjects and terms make this volume an important reference tool for anyone wishing to acquaint himself with the rich heritage of Polish linguistic thought. (shrink)

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

Evolutionary developmental biology (evo-devo) has undergone dramatic transformations since its emergence as a distinct discipline. This paper aims to highlight the scope, power, and future promise of evo-devo to transform and unify diverse aspects of biology. We articulate key questions at the core of eleven biological disciplines—from Evolution, Development, Paleontology, and Neurobiology to Cellular and Molecular Biology, Quantitative Genetics, Human Diseases, Ecology, Agriculture and Science Education, and lastly, Evolutionary Developmental Biology itself—and discuss why evo-devo is uniquely situated to substantially improve (...) our ability to find meaningful answers to these fundamental questions. We posit that the tools, concepts, and ways of thinking developed by evo-devo have profound potential to advance, integrate, and unify biological sciences as well as inform policy decisions and illuminate science education. We look to the next generation of evolutionary developmental biologists to help shape this process as we confront the scientific challenges of the 21st century. (shrink)

BACKGROUND: Hallucinations and delusions that complicate Parkinson’s disease could lead to nursing home placement and are linked to increased mortality. Cognitive impairments are typically associated with the presence of hallucinations but there are no data regarding whether such a relationship exists with delusions. OBJECTIVE: We hypothesized that hallucinations would be associated with executive and visuospatial disturbance. An exploratory examination of cognitive correlates of delusions was also completed to address the question of whether they differ from hallucinations. METHODS: 144 PD subjects (...) completed a neuropsychological battery to assess cognition and the SAPS to examine psychosis. Correlational analyses assessed associations between hallucinations and delusions with cognitive domains. RESULTS: 48 subjects reported psychotic symptoms: 25 experienced hallucinations without delusions, 23 had symptoms dominated by delusions. Severity and/or number of hallucination subtypes were significantly correlated with lower scores in language, memory, attention, executive functioning, and visuospatial ability. Correlations with delusions were non-significant. Tests of differences in the size of the correlations between groups revealed a significant relationship between language and visuospatial performance with hallucinations. CONCLUSIONS: Cognitive correlates of hallucinations and delusions appear to be different in PD, suggesting distinct pathogenic mechanisms and possibly anatomical substrates. Hence, delusions may not share the same associations with dementia as hallucinations. Since this is a new finding, further studies will be needed to confirm our results. (shrink)

In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...) logic defining a Σ⊿-elementary class of frames is canonical.The main tool in obtaining these results is the duality between modal algebras and general frames developed in R. I. Goldblatt [5]. The relevant notions and results from this theory will be stated in §2. The concept of a canonical modal logic is introduced and motivated in §3, which also contains the above-mentioned theorems. In §4, a kind of appendix to the preceding discussion, preservation of first-order sentences under ultrafilter extensions is discussed.The modal language to be considered here has an infinite supply of proposition letters, a propositional constant ⊥, the usual Boolean operators ¬, ∨, ∨, →, and ↔ —with ¬ and ∨ regarded as primitives—and the two unary modal operators ◇ and □ — ◇ being regarded as primitive. Modal formulas will be denoted by lower case Greek letters, sets of formulas by Greek capitals. (shrink)

Rapid developments in Artificial Intelligence are leading to an increasing human reliance on machine decision making. Even in collaborative efforts with Decision Support Systems (DSSs), where a human expert is expected to make the final decisions, it can be hard to keep the expert actively involved throughout the decision process. DSSs suggest their own solutions and thus invite passive decision making. To keep humans actively ‘on’ the decision-making loop and counter overreliance on machines, we propose a ‘reflection machine’ (RM). This (...) system asks users questions about their decision strategy and thereby prompts them to evaluate their own decisions critically. We discuss what forms RMs can take and present a proof-of-concept implementation of a RM that can produce feedback on users’ decisions in the medical and law domains. We show that the prototype requires very little domain knowledge to create reasonably intelligent critiquing questions. With this prototype, we demonstrate the technical feasibility to develop RMs and hope to pave the way for future research into their effectiveness and value. (shrink)

The current debate regarding the suitability of anencephalics as organ donors is due primarily to misunderstandings. The anatomical and neurophysiological literature shows that the anencephalic lacks a cerebrum because of the failure of neuralplate fusion. However, even the incomplete function of an atrophic brain stem is currently accepted at law in most if not all countries as sufficient for brain life: which is to say, cessation of breathing is currently required in order to make the diagnosis of brain death. Because (...) of the extensive incompleteness of the anencephalic's brain, it is not possible to postpone death significantly by mechanical ventilation and intravenous feeding. It is acceptable to maintain life for a short period of time in order to allow organ transplantation subsequent to the declaration of death at the point of cessation of the capacity for spontaneous respiration. The most important issue is not transplantation, but the issue of brain life raised by the case of anencephalics. Since brain life in any significant sense begins only after the closure of the neural tube on the 30th day after conception, it is reasonable to take this as the point at which brain life begins. Laws should be amended in all countries to allow the abortion of anencephalics at any time, in that they do not at any time possess brain life. (shrink)

In the modal literature various notions of "completeness" have been studied for normal modal logics. Four of these are defined here, viz. completeness, first-order completeness, canonicity and possession of the finite model property -- and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability and (...) preservation under ultrafilter extensions are introduced and studied as well. (shrink)

In this paper we examine the case of Tay, the Microsoft AI chatbot that was launched in March, 2016. After less than 24 hours, Microsoft shut down the experiment because the chatbot was generating tweets that were judged to be inappropriate since they included racist, sexist, and anti-Semitic language. We contend that the case of Tay illustrates a problem with the very nature of learning software that interacts directly with the public, and the developer's role and responsibility associated with it. (...) We make the case that when LS interacts directly with people or indirectly via social media, the developer has additional ethical responsibilities beyond those of standard software. There is an additional burden of care. (shrink)

To many who develop and use free software, the GNU General Public License represents an embodiment of the meaning of free software. In this paper we examine the definition and meaning of free software in the context of three events surrounding the GNU General Public License. We use a case involving the GPU software project to establish the importance of Freedom 0 in the meaning of free software. We analyze version 3 of the GNU General Public License and conclude that (...) although a credible case can be made that the added restrictions are consistent with the definition of free software, the case requires subtle arguments. Strong arguments against the added restrictions are less subtle, and may therefore be more convincing to many users and developers. We also analyze the Affero General Public License and conclude that it is inconsistent with the definition of free software. (shrink)

Objective To assess parental permission for a neonate's research participation using the MacArthur competence assessment tool for clinical research (MacCAT-CR), specifically testing the components of understanding, appreciation, reasoning and choice. Study Design Quantitative interviews using study-specific MacCAT-CR tools. Hypothesis Parents of critically ill newborns would produce comparable MacCAT-CR scores to healthy adult controls despite the emotional stress of an infant with critical heart disease or the urgency of surgery. Parents of infants diagnosed prenatally would have higher MacCAT-CR scores than parents (...) of infants diagnosed postnatally. There would be no difference in MacCAT-CR scores between parents with respect to gender or whether they did or did not permit research participation. Participants Parents of neonates undergoing cardiac surgery who had made decisions about research participation before their neonate's surgery. Methods The MacCAT-CR. Results 35 parents (18 mothers; 17 fathers) of 24 neonates completed 55 interviews for one or more of three studies. Total scores: magnetic resonance imaging (mean 36.6, SD 7.71), genetics (mean 38.8, SD 3.44), heart rate variability (mean 37.7, SD 3.30). Parents generally scored higher than published subject populations and were comparable to published control populations with some exceptions. Conclusions The MacCAT-CR can be used to assess parental permission for neonatal research participation. Despite the stress of a critically ill neonate requiring surgery, parents were able to understand study-specific information and make informed decisions to permit their neonate's participation. (shrink)

Joint attention (JA) is hypothesized to have a close relationship with developing theory of mind (ToM) capabilities. We tested the co-occurrence of ToM and JA in social interactions between adults with no reported history of psychiatric illness or neurodevelopmental disorders. Participants engaged in an experimental task that encouraged nonverbal communication, including JA, and also ToM activity. We adapted an in-lab variant of experience sampling methods (Bryant, Coffey, Povinelli, & Pruett, 2013) to measure ToM during JA based on participants’ subjective reports (...) of their thoughts while performing the task. This experiment successfully elicited instances of JA in 17/20 dyads. We compared participants’ thought contents during episodes of JA and non-JA. Our results suggest that, in adults, JA and ToM may occur independently. (shrink)

Synaesthesia is a condition in which one type of stimulation evokes the sensation of another, as when the hearing of a sound produces photisms, i.e. mental percepts of colours. R is a 20 year old colour blind subject who, in addition to the relatively common grapheme-colour synaesthesia, presents a rarely reported cross modal perception in which a variety of visual stimuli elicit aura-like percepts of colour. In R, photisms seem to be closely related to the affective valence of stimuli and (...) typically bring out a consistent pattern of emotional responses. The present case study suggests that colours might be an intrinsic category of the human brain. We developed an empirical methodology that allowed us to study the subject's otherwise inaccessible phenomenological experience. First, we found that R shows a Stroop effect (delayed response due to interference) elicited by photisms despite the fact that he does not show a regular Stroop with real colours. Secondly, by manipulating the colour context we confirmed that colours can alter R's emotional evaluation of the stimuli. Furthermore, we demonstrated that R's auras may actually lead to a partially inverted emotional spectrum where certain stimuli bring out emotional reactions opposite to the normal ones. These findings can only be accounted for by considering R's subjective colour experience or qualia. Therefore the present paper defends the view that qualia are a useful scientific concept that can be approached and studied by experimental methods. (shrink)